1. Logic and language models for computer science /
پدیدآورنده : Henry Hamburger, Dana Richards
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence,Description logics,Formal languages
رده :
QA267
.
3
.
H35
2002